Programming language implementation - PDFSEARCH.IO - Document Search Engine

Programming language implementation
Results: 1978

#	Item
291	Predicting the Scalability of an STM A Pragmatic Approach Aleksandar Dragojevi´c Rachid Guerraoui Add to Reading List Source URL: infoscience.epfl.ch Language: English - Date: 2011-07-09 03:46:32 Data management Theoretical computer science Numerical analysis Programming language implementation Software transactional memory Interpolation Parallel computing P Thread Concurrency control Computing Transaction processing
292	Software Verification and Graph Similarity for Automated Evaluation of Students’ AssignmentsI Milena Vujoˇsevi´c-Janiˇci´ca,∗, Mladen Nikoli´ca , Duˇsan Toˇsi´ca , Viktor Kuncakb a Faculty of Mathematics, Un Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-01-04 14:06:52 Software testing LLVM Software bug Model checking Software development process Software verification Static single assignment form Software Programming language implementation Compilers
293	Relocation < PAGE >1Chapter XX: Relocation $Revision: 2.2 $ $Date: :02:35 $ Once a linker has scanned all of the input files to determine segment sizes, symbol definitions and symbol references, figured ou Add to Reading List Source URL: www.iecc.com Language: English - Date: 1999-06-29 21:02:59 Relocation Computer file formats Assembly languages Computer memory Instruction set architectures A.out Linker Position-independent code Object file Computing Software Programming language implementation
294	MSPC 2014 ACM SIGPLAN Workshop on Memory Systems Performance & Correctness 13 June 2014, co-located with PLDI 2014 General Chair Jeremy Singer, University of Glasgow Add to Reading List Source URL: mspcworkshop.org Language: English - Date: 2014-06-15 12:05:37 Association for Computing Machinery Programming Language Design and Implementation Computer memory Multi-core processor SIGPLAN Embedded system Computing Computer architecture Computer science
295	University of Toronto – Department of Computer Science Technical Report CSRG-TR578 Impromptu Clusters for Near-Interactive Cloud-Based Services H. Andrés Lagar-Cavilla, Joseph Whitney, Adin Scannell, Stephen M. Rumble Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2008-07-07 08:04:47 Programming language implementation Hyper-V Hypervisor Xen VM Logical partition Paravirtualization Paging Live migration System software Software Virtual machines
296	PDF Document Add to Reading List Source URL: www.brics.dk Language: English - Date: 1996-10-15 05:57:12 Models of computation Type theory Data types Programming language implementation Logic in computer science Denotational semantics Partial evaluation Programming language Subtype polymorphism Software engineering Computing Programming language theory
297	PDF Document Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-10-11 20:58:24 C programming language Programming language implementation C++ Cross-platform software Source code C preprocessor Undefined behavior C syntax C Computing Software engineering Computer programming
298	StackAnalyzer for SuperH StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call gra Add to Reading List Source URL: www.absint.com Language: English - Date: 2015-04-23 05:17:02 Computer architecture Programming language implementation Cross-platform software SuperH Renesas Electronics Call graph Compiler Portable Executable Embedded system Computing Software Compiler construction
299	“Weird Machines” in ELF: A Spotlight on the Underappreciated Metadata Rebecca Shapiro Dartmouth College Sergey Bratus Dartmouth College Add to Reading List Source URL: www.cs.dartmouth.edu Language: English - Date: 2013-09-11 09:09:13 Programming language implementation Relocation Portable Executable Library Linker Dynamic linker COM file Executable and Linkable Format Object file Computing Software System software

UPDATE